منابع مشابه
passert: A Tool for Debugging Parallel Programs
passert is a new debugging tool for parallel programs which allows programmers to express correctness criteria using a simple, expressive assertion language. We demonstrate how these parallel assertions allow the detection and diagnosis of real world concurrency bugs, detecting 14/17 bugs in an independently selected set of bugs from open source software. We describe a runtime checker which all...
متن کاملA Visualization Tool for Constraint Program Debugging
Constraint programming is an emerging technology that offers an original approach allowing for efficient and flexible solving of complex problems. Its main advantage relies in its ability to compute with partial information expressed in terms of constraints. These constraints are monotonically accumulated during the program execution in order to restrict the problem search space. In this paper ...
متن کاملA Tool for Debugging Internet Multicast
In this paper we describe a debugging tool that is an eeective means of analyzing problems with multicast packet routing in a network. Multicast packet routing is a source-driven distributed calculation performed by the routers in a multicast network. The routes taken by multicast packets are diicult to predict manually due to the large number of variables that must be considered. The multicast...
متن کاملA Debugging Tool for Distributed Systems
This paper describes parts of the design of a debugger for a distributed real-time multimedia system. Emphasis lies on the distributed aspect of debugging, which means that attention is paid to the extemal behaviour of the processes. This type of debugging is useful to find communication or synchronization errors. However, experience learns that this is not enough: the debugger must also provid...
متن کاملA Debugging Tool for Software Evolution
This paper describes a tool for debugging programs which have been developed using evolutionary software techniques. The tool enhances the traditional debugging approach by automating the comparison of data structures between two running programs. Using this technique, it is possible to use early versions of a program which are known to operate correctly to generate values for comparison with t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Engineering Software
سال: 2012
ISSN: 0965-9978
DOI: 10.1016/j.advengsoft.2011.12.006